Algebraic data type - PDFSEARCH.IO - Document Search Engine

Algebraic data type
Results: 119

#	Item
31	Synthesis Modulo Recursive Functions Etienne Kneuss1 Viktor Kuncak1 Ivan Kuraj1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-08-16 08:18:41 Data types Lisp programming language Functional programming Recursion Computability theory ALGOL 68 Function Fold Algebraic data type Software engineering Computer programming Computing
32	Verifying and Synthesizing Software with Recursive Functions (Invited Contribution) Viktor Kuncak? ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-05-24 11:45:01 Data types Recursion Theoretical computer science Formal methods Functional programming Algebraic data type Fold ALGOL 68 Scala Computing Software engineering Computer programming
33	An Overview of the Leon Verification System Verification by Translation to Recursive Functions Régis Blanc Viktor Kuncak Etienne Kneuss Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-06-11 12:02:50 Data types Higher-order functions Type theory Recursion Source code Algebraic data type Satisfiability Modulo Theories Map ALGOL 68 Software engineering Computer programming Computing
34	On Static Analysis for Expressive Pattern Matching Mirco Dotta, Philippe Suter and Viktor Kuncak? School of Computer and Communication Sciences, EPFL, Switzerland {firstname.lastname}@epfl.ch Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 08:03:06 Data types Functional programming Type theory Algebraic data type Binary trees Procedural programming languages Pattern matching Guard Cons Software engineering Computing Computer programming
35	The state of OCaml, 2012 Xavier Leroy INRIA Paris-Rocquencourt OCaml Users and Developers Workshop, Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-26 17:35:59 Functional languages OCaml Control flow Procedural programming languages Caml Generalized algebraic data type Eval ML Expr Computing Software engineering Computer programming
36	Ornaments in Practice Thomas Williams Pierre-Évariste Dagand Didier Rémy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-08-31 12:01:17 Data types Functional programming Type theory Recursion Functional languages Append Algebraic data type Map Fold Software engineering Computing Computer programming
37	The Utrecht Agda Compiler Submitted to TFP 2015 Philipp Hausmann, Atze Dijkstra, and Wouter Swierstra Universiteit Utrecht, Netherlands http://www.uu.nl Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Functional languages Type theory Procedural programming languages Agda Data types Functional programming Haskell Dependent type Generalized algebraic data type Software engineering Computing Computer programming
38	Memphis C/C++ A Language for Compiler Writers This document gives an overview on Memphis, a C/C++ extension for compiler writers and other programmers having to manipulate symbolic data. Memphis provides a new kind of ty Add to Reading List Source URL: memphis.compilertools.net Language: English - Date: 2006-03-28 08:30:43 Procedural programming languages Binary trees Tree traversal Pattern matching ALGOL 68 Lexical analysis Lex Tree Algebraic data type Computing Software engineering Computer programming
39	Catch me if you can Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml David Teller Arnaud Spiwack Add to Reading List Source URL: www.univ-orleans.fr Language: English - Date: 2008-06-26 18:25:04 Type theory Functional programming Data types Control flow Functional languages Eval Monad Type system Generalized algebraic data type Software engineering Computing Declarative programming
40	Ornaments in Practice Thomas Williams Pierre-Évariste Dagand Didier Rémy Add to Reading List Source URL: morphis.me Language: English - Date: 2014-05-27 05:17:31 Data types Functional programming Type theory Recursion Functional languages Append Algebraic data type Map Fold Software engineering Computing Computer programming

UPDATE